package strain.expression;

import strain.domain.BoolDomain;

public interface BoolExpression extends Expression<Boolean, BoolDomain> {
    
}
